Notes on Intensional Knowledge|conceptuality, Partiality, Inconsistency and Preference
نویسنده
چکیده
منابع مشابه
Conceptual Reasoning in Multi-agent Environments|partiality, Intensionality, Inconsistency and Preference Conceptual Reasoning in Multi-agent Environments
In this paper a knowledge representation language is related to a framework of Formal Concept Analysis (FCA). A logical formalism has FCA contexts on its semantic side, and formal conceptual systems as proof theories. Agents are associated with (sets of) consistent sources of information, and every source gives rise to a single theory. A family of theories is formed and it is used to build a co...
متن کاملIntegrating Extensional and Intensional ILP Systems through Abduction
We present an hybrid extensional-intensional Inductive Logic Programming algorithm. We then show how this algorithm solves the problem of global inconsistency of intensional systems when learning multiple predicates, without incurring in the problems of incompleteness and inconsistency of extensional systems. The algorithm is obtained by modifying an intensional system 6] for learning abductive...
متن کاملOn the Complexity of Dealing with Inconsistency in Description Logic Ontologies
We study the problem of dealing with inconsistency in Description Logic (DL) ontologies. We consider inconsistency-tolerant semantics recently proposed in the literature, called AR-semantics and CARsemantics, which are based on repairing (i.e., modifying) in a minimal way the extensional knowledge (ABox) while keeping the intensional knowledge (TBox) untouched. We study instance checking and co...
متن کاملPreference-Based Inconsistency Management in Multi-Context Systems
Multi-Context Systems (MCS) are a powerful framework for interlinking possibly heterogeneous, autonomous knowledge bases, where information can be exchanged among knowledge bases by designated bridge rules with negation as failure. An acknowledged issue with MCS is inconsistency that arises due to the information exchange. To remedy this problem, inconsistency removal has been proposed in terms...
متن کاملA Stratification-based Approach for Inconsistency Handling in Description Logics
Inconsistency handling is a central problem in many knowledge representation fields, such as belief revision, belief merging. Many approaches have been proposed to handle inconsistency in ontologies. In this paper, we propose a stratification-based approach for inconsistency handling in description logics (DLs), a family of ontology languages. This approach consists of two steps. In the first s...
متن کامل